projects / xen.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 73b87af) | patch
domain_shutdown() needs to vcpu_pause_nosync() rather than directly
authorKeir Fraser <keir.fraser@citrix.com>
Tue, 18 Mar 2008 15:23:25 +0000 (15:23 +0000)
committerKeir Fraser <keir.fraser@citrix.com>
Tue, 18 Mar 2008 15:23:25 +0000 (15:23 +0000)
commitb265978030c2c254a705674b29829841fb0d88dc
treeb9ad0e1a09b785bd4d6c3fe1d19f604b073110f6tree | snapshot
parent73b87afff20adaedf8f5efc68b2c9ad4506baf10commit | diff
domain_shutdown() needs to vcpu_pause_nosync() rather than directly
incrementing the pause_count field. The latter ensures that the VCPU
gets descheduled --- synchronously in the case of the
currently-running VCPU.

Based on a bug report and proposed patch by Ben Guthro and Robert
Phillips of Virtual Iron.

Signed-off-by: Keir Fraser <keir.fraser@citrix.com>
xen/common/domain.c diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.